f: a -> U64
 where a implements Hash

f
